منابع مشابه
Software Synthesis Procedures * Viktor Kuncak
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succeed for a well-defined class of specifications. We propose to systematically generalize decision procedures into synthesis procedures, and us...
متن کاملReductions for Synthesis Procedures
A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents the first synthesis procedures for 1) algebraic data types and 2) arrays. Our procedures are reductions that lift a synthesis procedure for the elements into synthesis procedures f...
متن کاملClassification Procedures for Software Evaluation
We outline a methodological classification for evaluation approaches of software in general. This classification was initiated partly owing to involvement in a biennial European competition (the European Academic Software Award, EASA) which was held for over a decade. The evaluation grid used in EASA gradually became obsolete and inappropriate in recent years, and therefore needed to be revised...
متن کاملAll Procedures for the Synthesis of Silver Nanosheets
Two dimensional silver(I) coordination polymer, [Ag(μ5-T4S)]n (1), (T4S- = toluene-4-sulfonate), has been synthesized and characterized by Inductively Coupled Plasma (ICP) and elemental analyses, IR spectroscopy and powder X-ray diffraction. This compound was calcined at 450, 500 and 700 °C in a furnace and static atmosphere of air. The resultin...
متن کاملOn Reductions for Synthesis Procedures
A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structures. Our procedures are reductions that lift a synthesis procedure for the elements into synthesis procedures for containers storing these elem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2012
ISSN: 0001-0782,1557-7317
DOI: 10.1145/2076450.2076472